退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用基于语法的形状分析自动验证指针程序
Oukseh Lee; Hongseok Yang; Kwangkeun Yi;
机译:自动分析无类型指针指针别名无类型程序
机译:使用循环证明自动验证指针程序的时间特性
机译:使用Monadic二阶逻辑自动验证指针程序
机译:验证指针密集型程序。
机译:自动选择验证工具以有效分析生化模型
机译:使用一元二阶逻辑自动验证指针程序
机译:程序分析/验证服务提供系统,相同,控制程序,控制程序,用于指向计算机的功能,程序分析/验证设备,程序分析/验证工具管理设备
机译:程序分析/验证服务提供系统,相同的控制方法,控制程序,用于指示计算机功能的控制程序,程序分析/验证设备,程序分析/验证工具管理设备
机译:程序分析和验证服务提供系统,控制方法,控制程序,用于使计算机运行的控制程序,程序分析和验证设备,程序分析和验证工具管理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。